\begin{verbatim}
#(player)=
{(((true AND (true AND (player.id.0 != player.id.1))) AND true),
{player.id -> player.id.0}),

(((true AND (true AND (player.id.0 != player.id.1))) AND true),
{player.id -> player.id.1})}

\end{verbatim}